$\forall$$g$:OGrp, $a$, $b$:$\mid$$g$$\mid$. (e $\leq$ $a$) $\Rightarrow$ (e $\leq$ $b$) $\Rightarrow$ (e $\leq$ ($a$ $\ast$ $b$))